Topologizing interpretable sets in O-minimal Structures
نویسنده
چکیده
Let M be a structure in some language. Assume M has elimination of imaginaries. Let X be a definable set. Definable will mean “definable with parameters.” By a definable topology, we mean a definable family of subsets {By ⊂ X}y∈Y which form the basis for some topology on X. The fact that these form a basis for a topology amounts to the claim that if y1, y2 have By1 ∩By2 6= ∅, then for every x ∈ By1 ∩By2 there is a y3 ∈ Y such that x ∈ By3 ⊂ By1 ∩By2 . This is a first-order condition, so a definable topology on X remains a definable topology in elementary extensions of M . But note that if M M ′, the topology on X(M) need not agree with the subspace topology on X(M) as a subset of X(M ′). If D is a definable subset of X, and X has a definable topology, then the subspace topology on D is also definable. If X and Y are two sets with definable topologies, then the product topology on X × Y is definable. If X and Y are two sets with definable topologies, and f : X → Y is a definable function, then we can express whether or not f is continuous using some first-order statement. So the continuity of f is invariant under elementary extensions, and definable in families. We say that X is definably connected if there is no definable clopen set D with ∅ ( D ( X. The definable connectedness of X is invariant under elementary extensions, and typedefinable in families. If f : X → Y is a continuous definable function, and X is definably connected, then so is Y . A continuous map f : X → Y between abstract topological spaces is an open map if f(U) is open for every open subset U ⊂ X. If B is a basis of opens on X, it suffices to check U ∈ B. If f : X → Y is a continuous definable map between two definable topological spaces, then we can express that f is an open map via a first-order statement. So elementary extensions preserve whether or not f is open, and this is definable in families.
منابع مشابه
Weakly O-minimal Structures and Real Closed Fields
A linearly ordered structure is weakly o-minimal if all of its definable sets in one variable are the union of finitely many convex sets in the structure. Weakly o-minimal structures were introduced by Dickmann, and they arise in several contexts. We here prove several fundamental results about weakly o-minimal structures. Foremost among these, we show that every weakly o-minimal ordered field ...
متن کاملA pathological o-minimal quotient
We give an example of a definable quotient in an o-minimal structure which cannot be eliminated over any set of parameters, giving a negative answer to a question of Eleftheriou, Peterzil, and Ramakrishnan. Equivalently, there is an o-minimal structure M whose elementary diagram does not eliminate imaginaries. We also give a positive answer to a related question, showing that any imaginary in a...
متن کاملConcerning the frame of minimal prime ideals of pointfree function rings
Let $L$ be a completely regular frame and $mathcal{R}L$ be the ring of continuous real-valued functions on $L$. We study the frame $mathfrak{O}(Min(mathcal{R}L))$ of minimal prime ideals of $mathcal{R}L$ in relation to $beta L$. For $Iinbeta L$, denote by $textit{textbf{O}}^I$ the ideal ${alphainmathcal{R}Lmidcozalphain I}$ of $mathcal{R}L$. We show that sending $I$ to the set of minimal prime ...
متن کاملA Topology for Galois Types in AECs
We present a way of topologizing sets of Galois types over structures in abstract elementary classes with amalgamation. In the elementary case, the topologies thus produced refine the syntactic topologies familiar from first order logic. We exhibit a number of natural correspondences between the model-theoretic properties of classes and their constituent models and the topological properties of...
متن کاملThe Geometry of Minimal Types in Theories Interpretable in O-minimal
Definition 1.3. Let C be a monster model of a theory interpretable in o-minimal structure. • A set φ(x) is finite by o-minimal if there is some definable equivalence relation E with finite classes and domain φ(C and a definable binary relation < such that (φ(C)/E,<) together with the C-induced structure is an ominimal ordered set. • A type p(x) is finite by o-minimal if there is some finite by ...
متن کامل